TipoTítulo Autor EdiciónDisponibilidadValoración
Sin Portada
Artículo
Correspondence assertions for process synchronization in concurrent communications : Bonelli, Eduardo (2005)
----------
Sin Portada
Artículo
Typechecking safe process synchronization : Bonelli, Eduardo (2004)
----------